三阶谓词逻辑third: n. 1.〔the third〕第三。 2.第三者〔指人 ...order: n. 1.次序,顺序;整齐;(社会)秩序,治安;状况,常 ...predicate: n. 1.【语法】谓语,述语。 2.【逻辑学】谓项,述项 ...logic: n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理 ...predicate calculus of the third order: 三阶谓词演算下载手机词典可随时随地查词查翻译